Verificação de Requisitos de Transparência em Modelos iStar

Resumo. A transparência de software é um requisito não funcional que os engenheiros de software precisarão demonstrar à medida que a sociedade exigir transparência nas relações com seus representantes, pois essas relações são automatizadas por software. Nesse sentido a verificação da presença de transparência em modelos de requisitos de software é a abordagem utilizada nesse trabalho. Esses modelos representados com o framework iStar são verificados utilizando a linguagem CLIPS através da aplicação de regras de produção implementadas a partir das características do iStar que possibilitam identificar os requisitos de transparência. O modelo de requisito é inicialmente representado no formato iStarML e transformado em fatos formando assim a base de dados do sistema de verificação. Essa base de dados é submetida juntamente com a base de conhecimento ao motor de inferência CLIPS para extrair da especificação de requisitos o conhecimento implícito sobre os requisitos de transparência.